vérificateur de forme

См. также в других словарях:

• Vérificateur d'orthographe — Correcteur (informatique) Un correcteur est, en informatique, un outil logiciel permettant d analyser un texte afin de détecter, et éventuellement de corriger, les fautes d orthographe et les coquilles qu il contient. Sommaire 1 Description 2… …   Wikipédia en Français

• perforateur-vérificateur — ● perforateur vérificateur, perforatrice vérificatrice nom Personne chargée de saisir, à l aide d une machine à clavier, des données écrites manuellement, pour les transcrire sur un support mécanographique ou magnétique sous une forme utilisable… …   Encyclopédie Universelle

• Java Card — est un environnement d exécution Java destiné aux applications pour Carte à puce. Cette technologie fournit un environnement sécurisé pour les applications qui fonctionnent sur ce support de capacité mémoire et de traitement limitées. De… …   Wikipédia en Français

• Preuve a divulgation nulle de connaissance — Preuve à divulgation nulle de connaissance Une preuve à divulgation nulle de connaissance est un concept utilisé en cryptologie dans le cadre de l authentification et de l identification. Cette expression désigne un protocole sécurisé dans lequel …   Wikipédia en Français

• Preuve de connaissance sans apport d'information — Preuve à divulgation nulle de connaissance Une preuve à divulgation nulle de connaissance est un concept utilisé en cryptologie dans le cadre de l authentification et de l identification. Cette expression désigne un protocole sécurisé dans lequel …   Wikipédia en Français

• Preuve zero-knowledge — Preuve à divulgation nulle de connaissance Une preuve à divulgation nulle de connaissance est un concept utilisé en cryptologie dans le cadre de l authentification et de l identification. Cette expression désigne un protocole sécurisé dans lequel …   Wikipédia en Français

• Preuve à divulgation nulle de connaissance — Une preuve à divulgation nulle de connaissance est un concept utilisé en cryptologie dans le cadre de l authentification et de l identification. Cette expression désigne un protocole sécurisé dans lequel une entité nommée « fournisseur de… …   Wikipédia en Français

• ZKIP — Preuve à divulgation nulle de connaissance Une preuve à divulgation nulle de connaissance est un concept utilisé en cryptologie dans le cadre de l authentification et de l identification. Cette expression désigne un protocole sécurisé dans lequel …   Wikipédia en Français

• Zero-knowledge — Preuve à divulgation nulle de connaissance Une preuve à divulgation nulle de connaissance est un concept utilisé en cryptologie dans le cadre de l authentification et de l identification. Cette expression désigne un protocole sécurisé dans lequel …   Wikipédia en Français

• Zero knowledge — Preuve à divulgation nulle de connaissance Une preuve à divulgation nulle de connaissance est un concept utilisé en cryptologie dans le cadre de l authentification et de l identification. Cette expression désigne un protocole sécurisé dans lequel …   Wikipédia en Français

• Communicating Sequential Processes — En programmation concurrente[1], Communicating sequential processes (CSP) est une algèbre de processus permettant de modéliser l interaction de systèmes. CSP intègre un mécanisme de synchronisation basé sur le principe du rendez vous (détaillé… …   Wikipédia en Français